BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems

In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to model spatial behavior in a component oriented, simple and intuitive way, the possibility to automatically analyse and verify systems and integration possibilities with other modeling and verification tools. We present examples and the verification steps necessary to prove properties such as range coverage or the absence of collisions between components and technical details

Cyber-Virtual Systems: Simulation, Validation & Visualization

We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance. System models may represent an existing physical part - for example an existing robot installation - and a software simulated part - for example a possible future extension. We call such systems cyber-virtual systems. In this paper, we present the existing VITELab infrastructure for visualization tasks in industrial automation. The new methodology for simulation and validation motivated in this paper integrates this infrastructure. We are targeting scenarios, where industrial sites which may be in remote locations are modeled and visualized from different sites anywhere in the world. Complementing the visualization work, here, we are also concentrating on software modeling challenges related to cyber-virtual systems and simulation, testing, validation and verification techniques for them. Software models of industrial sites require behavioural models of the components of the industrial sites such as models for tools, robots, workpieces and other machinery as well as communication and sensor facilities. Furthermore, collaboration between sites is an important goal of our work.Comment: Preprint, 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014

Account management 2.0:from silo thinking to integrated account development

Account management in combination with the successful, strategy-driven development of customers constitutes the nucleus of Marketing & Sales Excellence. This article introduces the Double Loop Process of account management. This process utilizes cultural-psychological factors of organizational development which have a massive impact on whether account management succeeds or fails. Nonetheless, these factors too often remain outside the scope of consciousness, and therefore, they cannot be controlled. Through the Double Loop Process, customer-based strategies are developed and profitably implemented by integrating all required internal functions and expertise in a collaborative and productive way. Thereby, the Double Loop Process sustainably contributes to the customer- and profit-oriented alignment of internal decision-making processes within a given corporate culture. It improves cross-functional collaboration, instead of letting silo thinking, departmental egoisms, management from the “ivory tower,” or the reference to “lack of time” and “exhaustion” jeopardize account-related profit potentials

Confirmation of the Dietary Background of Beef from its Stable Isotope Signature

End of project reportConsumers are increasingly demanding information on the authenticity and source of the food they purchase. Molecular DNA-based technology allows animal identification, but without certification or a “paper-trail” but does not provide information about feed history or the production system under which the animal was reared. The stable isotopes of chemical elements (e.g.13C/12C, 15N/14N) are naturally present in animal tissue and reflect the isotopic composition of the diet. The overall aim of this project was to determine the feasibility of using the stable isotopic composition as an intrinsic, biochemical marker to gain information about feed components used in the production of beef. Factors likely to affect the isotopic signature such as source of tissue, duration of feeding and production systems were examined. It is expected that this highly innovative and original technique will permit the identification of country of origin and dietary history of beef and so greatly assist efforts to market Irish beef, particularly in lucrative European markets. Sequential sampling and stable isotope analysis of bovine tail hair and hoof revealed that the two tissues can provide a detailed and continuous record of animal dietary history. Because hair can be sampled repeatedly and noninvasively, we anticipate that this approach will also prove useful for the investigation of short-term wildlife movements and changes in dietary preferences

Focus Groups With Children: Practicalities and Methodological Insights

Die Einschätzung von Erwachsenen kann wichtig für die Erforschung von Interessen und Bedürfnissen von Kindern sein, aber auch Kinder sollten selbst als kompetente Informant:innen gesehen werden. Sozialwissenschaftliche Forschungsmethoden wurden üblicherweise für die Anwendung mit Erwachsenen entwickelt. Die somit implizierten Vorannahmen können aber mit Kindern als Forschungssubjekten problematisch sein. In der Forschung mit Kindern werden besondere Herausforderungen an Forschende und das Forschungsdesign gestellt, weil Kinder andere Bedürfnisse und Fähigkeiten als Erwachsene haben. Obwohl Kinder zunehmend Teil von Forschungsprojekten sind, wurden methodische und methodologische Überlegungen zu deren Inklusion bislang selten expliziert. In einer Studie zu digitalen Technologien im Leben von Kindern, gefördert von der Europäischen Kommission, haben wir Gruppendiskussionen mit Kindern im Vorschul- (5-6 Jahre) und Grundschulalter (8-10 Jahre) durchgeführt. Im vorliegenden Beitrag beschreiben wir unsere ursprünglichen methodischen Überlegungen und reflektieren unsere Erfahrungen, um allgemeine Empfehlungen für Gruppendiskussionen mit Kindern abzuleiten. Wir fokussieren auf das Setting, die formale Struktur des Leitfadens, das Modertor:innenverhalten, die Gruppendynamik, Altersunterschiede, Fähigkeiten der Kinder sowie ethische Implikationen. Abschließend fassen wir Herausforderungen und Potenziale von Gruppendiskussionen mit jungen Kindern zusammen.The assessments of adults are important in the study of the interests and needs of children, but children themselves should also be viewed as competent informants. Social research methodologies have typically been developed for use with adults, and children might challenge underlying assumptions. Particular demands are placed on research design and researchers when researching children, owing to their different needs and abilities. Although children are involved in a growing number of research projects, methodological considerations around their inclusion have been rarely explicated. In a European study on digital devices in the lives of children, we planned and conducted focus groups with preschool (5-6 years of age) and primary school children (8-10 years of age). In this contribution, we share our initial rationales and methodologically reflect on our experiences in order to derive recommendations for conducting focus groups with young children. We concentrate on the setting, formal structure of the schedule, moderator behavior, group dynamic and age differences, skills, and ethical implications. We conclude by outlining strengths and weaknesses of employing focus groups with young children

Predatory soil nematodes (Nematoda: Mononchida) in major land-use types across Ireland

The distribution of predatory soil nematodes (Mononchida) across Europe is well described. However, in Ireland knowledge of mononchids is limited to a single study. The CréBeo project was the first systematic survey of soil biodiversity in the major land-use types across the Republic of Ireland. Nematodes were sampled from 61 locations with an extensive geographical spread including arable, pasture, broadleaf forest, coniferous plantation, rough grazing and peatland sites. This study resulted in 11 first records of mononchid species from Ireland (of which 2 are new records for Britain and Ireland). We discuss the mononchid species found and aspects of their distribution across major land uses

Integration of digital technologies in families with children aged 5-10 years

Most European children today are living in media-rich households with access to a variety of different devices. Yet, there is a great variance in how families use technologies and integrate them within their everyday lives and routines